tools-console-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:54 +0000 (11:46 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 24 Aug 2018 17:45:17 +0000 (18:45 +0100)
commit359cd9447423296822e63d2901d8b3d927cd3b13
tree7fd5fa20e8b5629679c30e380e8ce262762ac9d6
parente9d4736a30648d55b7b0d665bb1ce6057851475f
tools-console-prefix.diff

Patch-Name: tools-console-prefix.diff

Gbp-Pq: Topic prefix-abiname
Gbp-Pq: Name tools-console-prefix.diff
tools/console/Makefile